(0 19 16)(1 9 2)(3 18 5)(4 10 7)(6 20 13)(8 14 11)(12 17 15)
ALLOWS (11/8)-SEQUENCE
1: (13 19 20)
(0 19 6 20 16)(1 9 2)(3 18 5)(4 10 7)(8 14 11)(12 17 15)(13)
2: (0 19 16)
(0)(1 9 2)(3 18 5)(4 10 7)(6 20 16)(8 14 11)(12 17 15)(13)(19)
3: (12 17 15)
(0)(1 9 2)(3 18 5)(4 10 7)(6 20 16)(8 14 11)(12)(13)(15)(17)(19)
4: (6 20 16)
(0)(1 9 2)(3 18 5)(4 10 7)(6)(8 14 11)(12)(13)(15)(16)(17)(19)(20)